https://ketabnak.com/book/93296/The-Philosophy-of-Mathematics-and-Logic